Towards a method for rigorous development of generic requirements patterns

We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine control systems: here generic requirements drive a software product line of target systems. A pilot formal specification and design exercise is undertaken on a small (twosensor) system element. This exercise has a number of aims: to support the domain analysis, to gain a view of appropriate design abstractions, for a B novice to gain experience in the B method and tools, and to evaluate the usability and utility of that method.We also present a prototype method for the production and verification of a generic requirement set in our UML-based formal notation, UML-B, and tooling developed in support. The formal verification both of the structural generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools

Controlling gold nanoparticle assembly on electron beam-reduced nitrophenyl self-assembled monolayers <i>via</i> electron dose

Electron beam lithography is a well-established tool suitable for the modification of substrate surface chemistry. It therefore follows that the deposition and self-assembly of nanoparticles on a surface can be directed using this method. This work explores the effect of electron dose on the electron beam lithographic patterning of self-assembled monolayers (SAMs) on gold surfaces. Electron beam irradiation of the sample induces conversion of the SAM terminal functional aromatic nitro (NO2) moieties to aromatic amino (NH2) moieties. The cationic NH2 functionalised regions direct the site-specific assembly of anionic citrate-passivated gold nanoparticles in aqueous solution at pH 4.5. Control of nanoparticle attachment to the SAM is demonstrated over the exposure range 5000–125,000 uC/cm2. Overexposure led to significant numbers of secondary electrons reaching the surface, causing conversion of functional aromatic moieties outside of the regions irradiated, which reduced feature quality and regional selectivity of adsorption

Preparation and Characterization of Covalently Binding of Rat Anti-human IgG Monolayer on Thiol-Modified Gold Surface

The 16-mercaptohexadecanoic acid (MHA) film and rat anti-human IgG protein monolayer were fabricated on gold substrates using self-assembled monolayer (SAM) method. The surface properties of the bare gold substrate, the MHA film and the protein monolayer were characterized by contact angle measurements, atomic force microscopy (AFM), grazing incidence X-ray diffraction (GIXRD) method and X-ray photoelectron spectroscopy, respectively. The contact angles of the MHA film and the protein monolayer were 18° and 12°, respectively, all being hydrophilic. AFM images show dissimilar topographic nanostructures between different surfaces, and the thickness of the MHA film and the protein monolayer was estimated to be 1.51 and 5.53 nm, respectively. The GIXRD 2θ degrees of the MHA film and the protein monolayer ranged from 0° to 15°, significantly smaller than that of the bare gold surface, but the MHA film and the protein monolayer displayed very different profiles and distributions of their diffraction peaks. Moreover, the spectra of binding energy measured from these different surfaces could be well fitted with either Au4f, S2p or N1s, respectively. Taken together, these results indicate that MHA film and protein monolayer were successfully formed with homogeneous surfaces, and thus demonstrate that the SAM method is a reliable technique for fabricating protein monolayer

High on-off conductance switching ratio in optically-driven self-assembled conjugated molecular systems

A new azobenzene-thiophene molecular switch is designed, synthesized and used to form self-assembled monolayers (SAM) on gold. An "on/off" conductance ratio up to 7x1E3 (with an average value of 1.5x1E3) is reported. The "on" conductance state is clearly identified to the cis isomer of the azobenzene moiety. The high "on/off" ratio is explained in terms of photo-induced, configuration-related, changes in the electrode-molecule interface energetics (changes in the energy position of the molecular orbitals with respect to the Fermi energy of electrodes) in addition to changes in the tunnel barrier length (length of the molecules). First principles DFT calculations demonstrate a better delocalization of the frontier orbitals, as well as a stronger electronic coupling between the azobenzene moiety and the electrode for the cis configuration over the trans one. Measured photoionization cross-sections for the molecules in the SAM are close to the known values for azobenzene derivatives in solution.Comment: 1 file with main text, figure and suppementary informatio